A set of predicates to check against.  \code{checks} points to an array of
length \code{checks\_sz}.
